(+ (3 . 5) 4 (f a))
